Blog posts with tag "lambda calculus"

• Lazy Weakening and Equality Test2014-04-28T13:37:00Z
• Glueing terms to models2013-04-30T13:37:00Z
• A universe for syntax with binding2013-04-11T13:37:00Z

Tags cloud

datatype (3) functional programming (7) haskell (2) Agda (10) reflection (3) canonical structures (2) universe (2) coq (2) type safety (2) dependent types (2) binders (2) lambda calculus (3)

---

Last update: 2025 07